Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
911	Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo? David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:17 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
912	The Strategic Impact of Higher-Order Beliefs⇤ Yi-Chun Chené Alfredo Di Tillioè Eduardo Faingoldê Add to Reading List Source URL: www.parisschoolofeconomics.eu Language: English - Date: 2013-04-26 16:42:09 General topology Convergence Calculus Measure theory Uniform convergence Topological space Product topology Weak convergence Convergence of measures Mathematical analysis Mathematics Topology
913	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-12-22 08:01:06 Applied mathematics Logic in computer science Nested word Words Formal methods Temporal logic Nesting Stack Model checking Theoretical computer science Automata theory Mathematical logic
914	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Bury1 , David Delahaye1 , Damien Doligez2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-03 08:27:10 Symbol Admissible rule Proof theory First-order logic Entailment Constructible universe Curry–Howard correspondence Orbifold Logic Mathematical logic Deduction
915	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
916	Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-28 16:38:29 Lambda calculus Constraint programming Type theory Theoretical computer science Scheme Lambda System F Local consistency Constraint logic programming Programming language theory Software engineering Computer science
917	[hal, v1] Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:05:43 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
918	Entangled abstract domains for higher-order programs Shuying Liang Matthew Might Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Mathematics Structure Abstract interpretation Interpretation Cardinal number Metaphilosophy Model theory Logic Symbol
919	A lower bound on the higher order nonlinearity of algebraic immune functions Claude Carlet, INRIA Projet CODES, BP 105, 78153 Le Chesnay Cedex, France e-mail: also member of the University of Paris Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2005-12-29 12:10:10 Jet Singularity theory E-function Field extension Mathematical analysis Algebraic structures Abstract algebra Mathematics Differential geometry
920	Pattern Logics and Auxiliary Relations Diego Figueira Leonid Libkin University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:09:13 Mathematical logic Structure Finite model theory FO Kripke semantics String First-order logic Interpretation Theory Logic Model theory Mathematics

UPDATE